Toute fonction à valeurs réelles sur une variété symplectique définit un champ de vecteurs hamiltonien, dont les sont solutions des équations de Hamilton-Jacobi. Le champ de vecteurs hamiltonien décrit un difféomorphisme hamiltonien sur la variété symplectique. Par le théorème de Liou...